The s-semantics approach: Theory and applications
نویسندگان
چکیده
منابع مشابه
The s-Semantics Approach: Theory and Applications
REPORTRAPPORT The s-semantics approach: theory and applications Abstract The paper is a general overview of an approach to the semantics of logic programs whose aim is nding notions of models which really capture the operational semantics, and are therefore useful for deening program equivalences and for semantics-based program analysis. The approach leads to the introduction of extended interp...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولon translation of politeness strategies in dialogues involving female characters in translations and retranslations of novels translated before and after the islamic revolution of iran and their effects on the image of women: a polysystem theory approach
abstract reception environment has considerable effects on accepting a translation. as the expectations of a target culture and its values and needs change throughout history, its criteria for accepting a translation or rejecting it will change accordingly (gentzler, 2001). the expectations of iran, as the reception environment in the present study, have changed after the islamic revolution. i...
Semantics and type theory of S-Net —DRAFT—
The paper briefly introduces the language S-Net and discusses in detail its concept of type and subtyping. Novel subtyping features are described and analysied: tag-controlled record subtyping and flow inheritance. A simple semantic formalism is proposed and the semantics of S-Net closure defined. We prove that type inference for S-Net is computationally efficient provided that the resulting ty...
متن کاملBringing Semantics to Web Services: The OWL-S Approach
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time, Semantic Web service technologies, such as the Ontology Web Language for Services (OWL-S), are developing the means by which services can be given richer semantic specifications. Richer semantics can enable fuller, m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1994
ISSN: 0743-1066
DOI: 10.1016/0743-1066(94)90026-4